Deterministic Finite Automata examples